import static de.vksi.c4j.Condition.postCondition;
import static de.vksi.c4j.Condition.preCondition;
import de.vksi.c4j.ClassInvariant;
import de.vksi.c4j.Target;


public class TestClassContract extends TestClass {

	@Target
	private TestClass target;

	@ClassInvariant
	public void classInvariant() {
		// TODO: write invariants if required
	}

	public TestClassContract() {
		super();
		if (preCondition()) {
			// TODO: write preconditions if required
		}
		if (postCondition()) {
			// TODO: write postconditions if required
		}
	}

}
